/*
 * Copyright (c) 2015-2020 ACOINFO Co., Ltd.
 * All rights reserved.
 *
 * Detailed license information can be found in the LICENSE file.
 *
 * File: tos_k.h TencentOS-tiny kernel header file.
 *
 * Author: Jiao.jinxing <jiaojinxing@acoinfo.com>
 *
 */

#ifndef TOS_K_H
#define TOS_K_H

#ifdef __cplusplus
extern "C" {
#endif

#include <ms_rtos.h>

#define __KNL__
#define __API__

#define __STATIC__  static

#define __WEAK__    MS_WEAK

#define K_NULL      MS_NULL

#define K_TRUE      MS_TRUE
#define K_FALSE     MS_FALSE

#define tos_kprintf(format, ...)  ms_printk(MS_PK_ERR, format, ##__VA_ARGS__)

#define tos_mmheap_alloc    ms_kmalloc
#define tos_mmheap_free     ms_kfree

#ifdef __cplusplus
}
#endif

#endif /* TOS_K_H */
